% Ejercicio "Listas en Prolog"
\subsection*{\fbox{\theejercicio} - Tipos en Eiffel}

Los siguientes diagramas de Conway representan una versi\'on restringida de la declaraci\'on de tipos en el lenguaje Eiffel:

\begin{center}
\includegraphics[0cm,0cm][12.94cm,7.17cm]{./capitulo3/ejercicios/figuras/tipos_eiffel.jpg}
\end{center}

\begin{enumerate}[1)]
\item Hallar una gram\'atica de contexto libre que genere este subconjunto del lenguaje.
\item Construir las tablas de an\'alisis SLR(1) para la gram\'atica anterior.
\end{enumerate}

% Solución del ejercicio
\subsubsection*{SOLUCI\'ON}

